Orderings

Two to four consecutive |`|s indicate an ordering relation.

ε,$\displaystyle \backepsilon$    

Some abbreviations are provided for convenience:

x | U|
|``| x ``U
   

There is no simple way to add more orderings.